atom2{-}deq $\in$ EqDecider(atom\{2:n\})